One of the major discoveries of the last two decades of the twentieth century in algebraic geometry is the realization that the theory of minimal models of surfaces can be generalized to higher dimensional varieties. This generalization, called the minimal model program or Mori's program, has develo[...]